451 research outputs found
First-Order Concatenation Theory with Bounded Quantifiers
We study first-order concatenation theory with bounded quantifiers. We give
axiomatizations with interesting properties, and we prove some normal-form
results. Finally, we prove a number of decidability and undecidability results.Comment: arXiv admin note: text overlap with arXiv:1804.0636
A Friendly Introduction to Mathematical Logic
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary’s user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition’s treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel’s First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises. Available on Lulu.com, IndiBound.com, and Amazon.com, as well as wholesale through Ingram Content Group.https://knightscholar.geneseo.edu/geneseo-authors/1005/thumbnail.jp
Glycine and hyperammonemia : potential target for the treatment of hepatic encephalopathy
Hepatic encephalopathy (HE) is a neuropsychiatric
disorder caused by hepatic dysfunction. Numerous studies
dictate that ammonia plays an important role in the pathogenesis of HE, and hyperammonemia can lead to alterations in
amino acid homeostasis. Glutamine and glycine are both
ammoniagenic amino acids that are increased in liver failure.
Modulating the levels of glutamine and glycine has shown to
reduce ammonia concentration in hyperammonemia.
Ornithine Phenylacetate (OP) has consistently been shown to
reduce arterial ammonia levels in liver failure by modulating
glutamine levels. In addition to this, OP has also been found to
modulate glycine concentration providing an additional ammonia removing effect. Data support that glycine also serves
an important role in N-methyl D-aspartate (NMDA) receptor
mediated neurotransmission in HE. This potential important
role for glycine in the pathogenesis of HE merits further
investigations
Reproductive strategy and singing activity: blue tit and great tit compared
The costs and benefits of bird song are likely to vary among species, and different singing patterns may reflect differences in reproductive strategies. We compared temporal patterns of singing activity in two songbird species, the blue tit (Cyanistes caeruleus) and the great tit (Parus major). The two species live side by side year round, and they have similar breeding ecology and similar rates of extra-pair paternity. However, they differ in two aspects of reproductive strategy that may have an influence on song output: blue tits are facultatively polygynous and have a fairly short breeding season with almost no second broods, whereas great tits are socially monogamous but more commonly raise second broods. We found that great tit males continued singing at high levels during the egg-laying and incubation periods, while monogamously paired blue tit males strongly reduced singing activity after the first days of egg-laying by their female. Since males of both species sang much more intensely shortly before sunrise than after sunrise, at midday or in the evening, this difference was most conspicuous at dawn. No differences in singing activity were found within species when testing for male age. We suggest that in contrast to blue tits, great tit males continued singing after egg-laying to defend the territory and to encourage the female for a possible second broo
- …